Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la musique en Sarre

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Angleterre72
Volker Sorge3
Angleterre Sauf Volker Sorge" 70
Volker Sorge Sauf Angleterre" 1
Angleterre Et Volker Sorge 2
Angleterre Ou Volker Sorge 73
Corpus2816
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
000C09 Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Simon Colton [Royaume-Uni]Employing Theory Formation to Guide Proof Planning
000C93 Christoph Benzmüller [Allemagne] ; Manfred Kerber [Royaume-Uni] ; Mateja Jamnik [Royaume-Uni] ; Volker Sorge [Allemagne]Experiments with an Agent-Oriented Reasoning System
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Sun Jul 15 18:16:09 2018. Site generation: Tue Mar 5 19:21:25 2024